Computer Aided Verification

#	Item
31	Microsoft Word - Provider (V1M1[removed]doc Add to Reading List Source URL: www.epa.gov Language: English - Date: 2011-05-19 08:03:27 Statistics Technology Food safety Pharmaceutical industry Systems engineering Verification and validation Computer-aided audit tools Audit ISO/IEC 17025 Information technology audit Business Quality management
32	The verification of data transition processes (2007) Add to Reading List Source URL: www.nationalarchives.gov.uk Language: English - Date: 2013-10-30 13:26:44 Technical communication XML Backup Audit Computer-aided audit tools Computing Web standards OSI protocols
33	Curriculum Vitae — Domagoj Babi´c C ONTACT I NFORMATION Phone: Email: Add to Reading List Source URL: www.domagoj-babic.com Language: English - Date: 2013-10-12 15:48:36 Satisfiability Modulo Theories Decision problem Domagoj Software engineering Lecture Notes in Computer Science Computer science Theoretical computer science Applied mathematics Computer Aided Verification
34	SANKHYA™ Teraptor™ Designer Add to Reading List Source URL: www.sankhya.com Language: English - Date: 2013-11-04 16:37:49 Design Electronic system-level design and verification Consumer electronics Prototype Embedded system Computer-aided design Systems design ATI Technologies Electronic design automation Technology Electronic engineering